Prove that (cotA-cosA)